Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
341	ConceptualDynamics-EKAW2008-CRC-final Add to Reading List Source URL: www.heppnetz.de Language: English - Date: 2008-08-01 12:25:21 Semantic Web Ontology Knowledge engineering Information science Technical communication Conceptual model Petri net Vocabulary Web Ontology Language Upper ontology Formal ontology
342	Spatial Game Analytics and -Visualization Anders Drachen Matthias Schubert College of Computer and Information Science Add to Reading List Source URL: eldar.mathstat.uoguelph.ca Language: English - Date: 2016-07-12 12:05:04 Formal sciences Business intelligence Cartography Geography Geographic data and information Spatial analysis Analytics Data mining Predictive analytics Geographic information system Spatial database Heat map
343	Curriculum Vitae and List of Publications Hannes Leitgeb August 2015 Department Address Chair of Logic and Philosophy of Language, Alexander von Humboldt Professor, and Add to Reading List Source URL: www.mcmp.philosophie.uni-muenchen.de Language: English Epistemology Philosophers of science American philosophers Hannes Leitgeb Logicians Philosophers of mathematics Journal of Philosophical Logic Lottery paradox Philosophy of mathematics Many-valued logic Formal epistemology Index of logic articles
344	PDF Document Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:30 Logic in computer science Formal methods Mathematical logic Notation Programming language Formal verification Semantics Structure Program transformation Logic programming Model theory Denotational semantics
345	Scheme on the Web and in the Classroom A Retrospective about the LAML Project Kurt Nørmark Department of Computer Science, Aalborg University, Denmark Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2012-09-06 07:47:48 Functional languages Markup languages Text editors Transformation languages Formal languages Lisp Emacs Scheme XML transformation language XSLT Abstract syntax tree Comment
346	Computer-Aided Reasoning for the Masses Panagiotis Manolios College of Computer and Information Science Northeastern University 360 Huntington Ave., Boston MA 02115, USA Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:29:56 Theoretical computer science Formal methods ACL2 Lisp Statements Automated theorem proving Formal verification J Strother Moore Mathematical proof Conjecture Algorithm Reason
347	Barometr Regionalny NrOntology of Offers Jan Andreasik Add to Reading List Source URL: br.wszia.edu.pl Language: English - Date: 2013-01-08 17:08:41 Ontology Knowledge representation Semantic Web Information science Formal ontology Roman Ingarden Ontic Mereology Relation Web Ontology Language Property Class
348	Summer 2009 :: COM SCI 181, Sec.1 :: Introduction to Formal Languages and Automata Theory :: Syllabus/Info Class Information Location, day, time: from the Registrar Add to Reading List Source URL: atakangunal.com Language: English* - Date: 2014-10-22 13:26:26 Formal languages Theoretical computer science Theory of computation Computability theory Models of computation Computability Automata theory Introduction to the Theory of Computation Turing machine Super-recursive algorithm Algorithm Finite-state machine
349	CASE STUDY Data science that speaks your language. Small businesses Add to Reading List Source URL: www.digitalcatapultcentre.org.uk Language: English - Date: 2016-02-26 11:14:51 Department for Business Innovation and Skills Information science Formal sciences Catapult centres Science and technology in the United Kingdom Catapult Data science Analytics
350	LNCSLongest Motifs with a Functionally Equivalent Central Block Add to Reading List Source URL: pbil.univ-lyon1.fr Language: English - Date: 2008-10-22 02:35:21 Logic in computer science FO Finite model theory Combinatory logic Formal languages Planted motif search

UPDATE